%{
	#include<stdio.h>
	#include<stdlib.h>
    	void ifinstead();
    	void floatinsert();
    	double mark[1000]={0};
    	int num=0;
    	int norepeat=0;
%}
%%
^([0-9]{9})				{	printf("201492332");	}
"NAME"$					{	printf("LSW");		}
([0-9]+\.[0-9]+)|([0-9]+)		{	floatinsert();		}
[\x21-\x2f\x3a-\x7f]+			{	printf("%s",yytext);	}

%%
void floatinsert(){
    int i=0;
    double d;
    num++;
    d=atof(yytext);
    while(i<norepeat&&d!=mark[i]){i++;}
    if((d!=mark[i])||norepeat==0)
        mark[norepeat++]=d;
    d=d*2+201492332.0+0.5;
	printf("%lld",(long long int)(d));
}
int main(){
    yylex();
    printf("出现次数\t%d ",num);
    printf("去重后次数\t%d\n",norepeat);
    return 0;
}


/*void ifinstead(){
    int i=0;
    double d;
    if(yyleng==9){
        printf("201492332");
    }
    else{
        num++;
        d=atof(yytext);
        printf("%lld",(long long int)(d*2+201492332));
        while(i<norepeat&&d!=mark[i]){i++;}
        if((d!=mark[i])||norepeat==0)
            mark[norepeat++]=d;
    }
}
*/
    
/*if((d-floor(d))>0.5)
        printf("%d",(int)(ceil(d)));
    else
        printf("%d",(int)(floor(d)));*/
